On systematic construction of correct logic programs
arxiv.org·59m
🧠Computational Logic
Capture Checking in Scala
nrinaudo.github.io·23h·
Discuss: Hacker News
🧪Binary Fuzzing
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·59m
🎯Performance Proofs
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·18h
🤝Paxos Consensus
Teaching programming languages
kmjn.org·16h
💻Programming languages
Song recommendations with F# free monads
blog.ploeh.dk·21h
🔗Functional Compilers
Two Dogmas of Empiricism
en.wikipedia.org·16h·
Discuss: Hacker News
💻Programming languages
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·15h
🧮Kolmogorov Bounds
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Nullable vs. Nullable in C#
einarwh.no·10h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·14h·
Discuss: Hacker News
⚡Proof Automation
Stable, Mutable References for Ante
antelang.org·15h·
Discuss: Hacker News, r/programming
🔒Type Safety
The Lobster Programming Language
strlen.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
Distributed Request Assignment with Max‑Min and Deviation Fairness in On‑Demand Mobility
hackernoon.com·7h
📡Network Calculus
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Ensuring Idempotency in Distributed Systems – Lessons from Go & GCP
dev.to·23h·
Discuss: DEV
🔄Reproducible Builds
Structural vs. Mathematical “Under” (2023)
dyalog.com·4h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Generating C functions and prototypes using macros – part 2
subethasoftware.com·3h
🦀Rust Macros
Claude Code's 19 cent Parser
blogger.com·15h
🔧Binary Parsers